$\forall$$g$:IAbGrp\{i\}. Comm($\mid$$g$$\mid$;$\ast$)